Issue295.agda:17,21-34
(a ⟶ b) ﹔ (c ⟶ d) | b != e ⟶ f of type Arr
when checking that the inferred type of an application
  Fun ((a ⟶ b) ﹔ (c ⟶ d))
matches the expected type
  Fun (e ⟶ f)
